More from this Author

Automated Reasoning with Analytic Tableaux and Related Methods

by Neil V. Murray (Editor), J. G. Carbonell (Editor), J. Siekmann (Editor)